Sandboxing AI - Extending AI Responsibly
dev.to·17h·
Discuss: DEV
🔒WASM Capabilities
Functional Abstract Interpretation
simon.peytonjones.org·1d·
Discuss: Hacker News
🔗Functional Compilers
What can we expect of LLMs as Software Engineers?
chelseatroy.com·1d
📝Text Parsing
Cactus Language • Stylistics 4
inquiryintoinquiry.com·15h
🌳Context free grammars
Future-Proof Programming Languages
log.schemescape.com·1d·
Discuss: Hacker News
💻programming languages
SEALGuard: Safeguarding the Multilingual Conversations in Southeast Asian Languages for LLM Software Systems
arxiv.org·1d
📝ABNF Parsing
Reflections on OpenAI
simonwillison.net·13h
🚀Indie Hacking
How Amazon Bedrock CMI Cut AI Model Onboarding Time by 75%
engineering.salesforce.com·11h
🔄Sync Engine
Grok 4 Arrives With Impressive Coding Powers
hackernoon.com·2d
🎯Gradual Typing
A Programmer’s Guide to x86-64 Assembly (Series Overview)
blog.codingconfessions.com·2h
🔧RISC-V Assembler
Janet Feature Demos
github.com·38m·
Discuss: Lobsters, Hacker News
🧠Lisp Dialects
Python Fundamentals: build
dev.to·18h·
Discuss: DEV
🔄Reproducible Builds
My Participation in the METR AI Productivity Study
domenic.me·16h·
Discuss: Hacker News
👁️Observatory Systems
An LLM Router That Thinks Like an Engineer
medium.com·13h·
Discuss: Hacker News
📡BGP Archaeology
Reflecting on PLDI 2025
people.csail.mit.edu·2d·
Discuss: Hacker News
🌐Protocol Synthesis
Helix Editor Release 25.07 Highlights
helix-editor.com·11h·
Discuss: Lobsters, Hacker News, r/linux
🌳Incremental Parsing
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·1d·
Discuss: Hacker News
🔍Type Inference
[R] Interesting paper on cost-aware prompt optimization (CAPO)
reddit.com·1h·
Discuss: r/MachineLearning
🏗️Compiler Archaeology
Fine-tuning Large Language Model for Automated Algorithm Design
arxiv.org·3h
🔨Compilers
Sandcastles Made of Bits
jsfour.substack.com·1h·
Discuss: Substack
🧱Immutable Infrastructure